๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Graph Rewriting
Term Rewriting, E-graphs, Optimization, Equational Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
17h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
6h
๐ข
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
ยท
1d
ยท
Discuss:
blog.mitrichev.ch
๐
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building the Reasoning Engine at Axiom
axiommath.ai
ยท
2h
ยท
Discuss:
Hacker News
โ๏ธ
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
ยท
1d
ยท
Discuss:
Hacker News
๐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
ยท
11h
ยท
Discuss:
DEV
๐ค
Paleographic AI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
ยท
9h
๐
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
ยท
1d
ยท
Discuss:
Hacker News
๐
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
ยท
17h
๐งฎ
Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
ยท
4h
๐
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
ยท
7h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Erlang-Red Walkthrough โ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com
ยท
7h
ยท
Discuss:
Hacker News
๐
Protocol Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
ยท
20h
ยท
Discuss:
Hacker News
,
r/programming
โ
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org
ยท
1d
๐ธ๏ธ
Graph Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
ยท
9h
ยท
Discuss:
Hacker News
๐
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org
ยท
17h
๐
Spectral Methods
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com
ยท
5h
ยท
Discuss:
Hacker News
๐
Linear Algebra
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
ยท
17h
โช
Church Encoding
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three Solutions to Nondeterminism in AI
blog.hellas.ai
ยท
2d
ยท
Discuss:
Hacker News
๐ฏ
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »